Designed for both advanced undergraduate and graduate students, this groundbreaking work by a leading philosopher of logic is ideal for courses in logical literacy. Logic for Philosophy covers basic approaches to logic (including proof theory and especially model theory); extensions of standard logic that are important in philosophy; and some elementary philosophy of logic. Eas...(展开全部)

保罗·蒂德曼（Paul Tidman,1956— ），美国俄亥俄州尤宁山大学（University of Mount Union）哲学与宗教学系教授。主要研究方向为逻辑学、认识论、形而上学及应用伦理学。 霍华德·卡哈尼（Howard Kahane,1928—2001）,美国著名逻辑教育家，曾先后任教于堪萨斯大学、马里兰大学等。主要代表作：《逻辑与哲学：现代逻辑导论》（1969年第一版，至第六版为独立作者，以后各版与他人合作），《六个归纳问题》（1962年），《逻辑与当代修辞学》（1971年），《契约伦理学》（1995年）。

保罗·蒂德曼（Paul Tidman,1956— ），美国俄亥俄州尤宁山大学（University of Mount Union）哲学与宗教学系教授。主要研究方向为逻辑学、认识论、形而上学及应用伦理学。 霍华德·卡哈尼（Howard Kahane,1928—2001）,美国著名逻辑教育家，曾先后任教于堪萨斯大学、马里兰大学等。主要代表作：《逻辑与哲学：现代逻辑导论》（1969年第一版，至第六版为独立作者，以后各版与他人合作），《六个归纳问题》（1962年），《逻辑与当代修辞学》（1971年），《契约伦理学》（1995年）。

With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logi...(展开全部)

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first...(展开全部)

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditi...(展开全部)

This text is designed for those instructors who desire a comprehensive introduction to formal logic that is both rigorous and accessible to students encountering the subject for the first time. Numerous carefully crafted exercise sets accompanied by clear, crisp exposition give students a firm grasp of basic concepts and take the student from sentential logic through first-orde...(展开全部)

Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are...(展开全部)

Logic deals with the inevitable - those consequences which follow inescapably from a given set of premisses. This fact has caused it to be seen as different from other more self-questioning branches of philosophy. In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and ...(展开全部)